[next] [prev] [prev-tail] [tail] [up]

Integrals 901 to 1000

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

153 153 472 247 0 657 0 287 5489

N.S.

1 1.00 3.08 1.61 0.00 4.29 0.00 1.88 35.88

time (sec)

N/A 0.548 6.362 0.465 0.000 8.700 0.000 0.331 24.856

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

106 106 365 152 0 482 0 180 3452

N.S.

1 1.00 3.44 1.43 0.00 4.55 0.00 1.70 32.57

time (sec)

N/A 0.271 5.925 0.400 0.000 2.748 0.000 0.336 23.778

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) A F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

94 94 261 119 0 372 0 149 18184

N.S.

1 1.00 2.78 1.27 0.00 3.96 0.00 1.59 193.45

time (sec)

N/A 0.209 0.981 0.326 0.000 1.597 0.000 0.329 28.527

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 92 119 0 336 0 146 4410

N.S.

1 1.00 0.94 1.21 0.00 3.43 0.00 1.49 45.00

time (sec)

N/A 0.259 1.526 0.319 0.000 0.321 0.000 0.313 20.634

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 145 131 180 0 454 0 239 5581

N.S.

1 1.00 0.90 1.24 0.00 3.13 0.00 1.65 38.49

time (sec)

N/A 0.543 2.028 0.400 0.000 0.321 0.000 0.330 25.303

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 205 178 275 0 599 0 424 7110

N.S.

1 1.00 0.87 1.34 0.00 2.92 0.00 2.07 34.68

time (sec)

N/A 0.844 1.422 0.499 0.000 0.312 0.000 0.321 26.239

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

276 276 235 456 0 765 0 801 9648

N.S.

1 1.00 0.85 1.65 0.00 2.77 0.00 2.90 34.96

time (sec)

N/A 1.275 1.721 0.656 0.000 0.329 0.000 0.328 27.858

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

407 407 605 492 0 1835 0 627 11687

N.S.

1 1.00 1.49 1.21 0.00 4.51 0.00 1.54 28.71

time (sec)

N/A 2.036 8.447 1.015 0.000 48.412 0.000 0.358 31.045

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

312 312 519 365 0 1505 0 428 9931

N.S.

1 1.00 1.66 1.17 0.00 4.82 0.00 1.37 31.83

time (sec)

N/A 1.389 5.034 0.841 0.000 37.147 0.000 0.349 28.884

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

177 177 382 261 0 1156 0 443 6421

N.S.

1 1.00 2.16 1.47 0.00 6.53 0.00 2.50 36.28

time (sec)

N/A 0.733 5.287 0.589 0.000 14.120 0.000 0.333 26.818

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

148 148 356 200 0 728 0 250 4536

N.S.

1 1.00 2.41 1.35 0.00 4.92 0.00 1.69 30.65

time (sec)

N/A 0.350 3.336 0.453 0.000 4.306 0.000 0.319 25.051

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

138 138 299 181 0 593 0 222 4544

N.S.

1 1.00 2.17 1.31 0.00 4.30 0.00 1.61 32.93

time (sec)

N/A 0.298 3.539 0.294 0.000 0.302 0.000 0.319 24.770

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 202 160 228 0 826 0 1240 3804

N.S.

1 1.00 0.79 1.13 0.00 4.09 0.00 6.14 18.83

time (sec)

N/A 0.734 1.681 0.465 0.000 0.330 0.000 0.446 22.085

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

298 298 206 300 0 1102 0 380 9997

N.S.

1 1.00 0.69 1.01 0.00 3.70 0.00 1.28 33.55

time (sec)

N/A 1.375 2.212 0.612 0.000 0.374 0.000 0.334 28.265

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

396 396 255 397 0 1347 0 564 11743

N.S.

1 1.00 0.64 1.00 0.00 3.40 0.00 1.42 29.65

time (sec)

N/A 2.040 5.926 0.805 0.000 0.385 0.000 0.332 29.661

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

465 465 725 554 0 2864 0 1740 15937

N.S.

1 1.00 1.56 1.19 0.00 6.16 0.00 3.74 34.27

time (sec)

N/A 5.148 6.445 1.478 0.000 118.317 0.000 0.439 34.264

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

323 323 492 430 0 2217 0 705 11393

N.S.

1 1.00 1.52 1.33 0.00 6.86 0.00 2.18 35.27

time (sec)

N/A 3.246 6.295 1.163 0.000 57.902 0.000 0.390 29.888

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

242 242 514 364 0 1501 0 632 8128

N.S.

1 1.00 2.12 1.50 0.00 6.20 0.00 2.61 33.59

time (sec)

N/A 1.032 5.475 0.743 0.000 17.821 0.000 0.388 28.996

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

202 202 410 268 0 848 0 510 280

N.S.

1 1.00 2.03 1.33 0.00 4.20 0.00 2.52 1.39

time (sec)

N/A 0.483 4.959 0.419 0.000 0.331 0.000 0.367 20.067

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

229 229 793 345 0 1237 0 606 8147

N.S.

1 1.00 3.46 1.51 0.00 5.40 0.00 2.65 35.58

time (sec)

N/A 0.833 6.097 0.429 0.000 0.371 0.000 0.391 28.746

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

330 330 1015 398 0 1680 0 667 6708

N.S.

1 1.00 3.08 1.21 0.00 5.09 0.00 2.02 20.33

time (sec)

N/A 3.302 9.741 0.829 0.000 0.406 0.000 0.399 23.498

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

453 453 881 487 0 2127 0 3408 16016

N.S.

1 1.00 1.94 1.08 0.00 4.70 0.00 7.52 35.36

time (sec)

N/A 5.218 10.027 1.038 0.000 0.458 0.000 0.730 35.003

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

470 470 1197 679 0 3644 0 1264 15959

N.S.

1 1.00 2.55 1.44 0.00 7.75 0.00 2.69 33.96

time (sec)

N/A 10.140 8.749 1.296 0.000 140.287 0.000 0.424 32.622

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

358 358 1302 584 0 2466 0 1135 11926

N.S.

1 1.00 3.64 1.63 0.00 6.89 0.00 3.17 33.31

time (sec)

N/A 2.669 8.512 1.271 0.000 51.321 0.000 0.420 30.689

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

314 314 299 453 0 1420 0 970 516

N.S.

1 1.00 0.95 1.44 0.00 4.52 0.00 3.09 1.64

time (sec)

N/A 1.222 1.680 0.722 0.000 0.381 0.000 0.387 20.512

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

299 299 538 452 0 1414 0 968 516

N.S.

1 1.00 1.80 1.51 0.00 4.73 0.00 3.24 1.73

time (sec)

N/A 0.976 8.667 0.675 0.000 0.388 0.000 0.393 20.423

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

336 336 1230 565 0 2056 0 1106 11934

N.S.

1 1.00 3.66 1.68 0.00 6.12 0.00 3.29 35.52

time (sec)

N/A 2.254 10.028 0.638 0.000 0.445 0.000 0.418 32.019

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

471 471 1367 646 0 2766 0 1225 9463

N.S.

1 1.00 2.90 1.37 0.00 5.87 0.00 2.60 20.09

time (sec)

N/A 10.239 11.983 1.257 0.000 0.547 0.000 0.409 27.144

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

648 648 658 771 0 3454 0 1438 21910

N.S.

1 1.00 1.02 1.19 0.00 5.33 0.00 2.22 33.81

time (sec)

N/A 12.737 10.421 1.964 0.000 0.679 0.000 0.411 43.030

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 23 40 0 45 73 53 258

N.S.

1 1.00 0.96 1.67 0.00 1.88 3.04 2.21 10.75

time (sec)

N/A 0.023 0.011 0.147 0.000 0.287 1.901 0.322 18.208

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 76 81 0 285 0 309 1169

N.S.

1 1.00 1.01 1.08 0.00 3.80 0.00 4.12 15.59

time (sec)

N/A 0.179 0.452 0.250 0.000 0.294 0.000 0.324 21.372

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 211 182 0 714 0 223 5260

N.S.

1 1.00 1.51 1.30 0.00 5.10 0.00 1.59 37.57

time (sec)

N/A 0.434 1.821 0.330 0.000 0.340 0.000 0.377 26.825

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 231 302 317 0 1443 0 515 5322

N.S.

1 1.00 1.31 1.37 0.00 6.25 0.00 2.23 23.04

time (sec)

N/A 1.323 2.933 0.463 0.000 0.386 0.000 0.382 25.988

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

336 336 1097 526 0 2408 0 860 7573

N.S.

1 1.00 3.26 1.57 0.00 7.17 0.00 2.56 22.54

time (sec)

N/A 5.003 6.056 0.714 0.000 0.486 0.000 0.474 31.781

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

517 517 4780 7566 0 0 0 0 0

N.S.

1 1.00 9.25 14.63 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.752 28.680 45.373 0.000 0.000 0.000 0.000 0.000

Problem 936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

413 413 3706 5448 0 0 0 0 0

N.S.

1 1.00 8.97 13.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.050 25.643 32.345 0.000 0.000 0.000 0.000 0.000

Problem 937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

324 324 579 4176 0 0 0 0 0

N.S.

1 1.00 1.79 12.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.692 23.507 18.576 0.000 0.000 0.000 0.000 0.000

Problem 938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

366 366 785 2370 0 0 0 0 0

N.S.

1 1.00 2.14 6.48 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.486 18.763 12.305 0.000 0.000 0.000 0.000 0.000

Problem 939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

362 362 922 2898 0 0 0 0 0

N.S.

1 1.00 2.55 8.01 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.487 17.413 6.701 0.000 0.000 0.000 0.000 0.000

Problem 940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

435 435 1371 3548 0 0 0 0 0

N.S.

1 1.00 3.15 8.16 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.877 20.173 5.414 0.000 0.000 0.000 0.000 0.000

Problem 941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

538 538 1856 5091 0 0 0 0 0

N.S.

1 1.00 3.45 9.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.366 16.042 6.360 0.000 0.000 0.000 0.000 0.000

Problem 942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

628 628 1100 9223 0 0 0 0 0

N.S.

1 1.00 1.75 14.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.993 23.427 61.380 0.000 0.000 0.000 0.000 0.000

Problem 943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

505 505 4336 7560 0 0 0 0 0

N.S.

1 1.00 8.59 14.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.547 26.200 47.636 0.000 0.000 0.000 0.000 0.000

Problem 944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

406 406 3724 5704 0 0 0 0 0

N.S.

1 1.00 9.17 14.05 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.984 24.213 34.220 0.000 0.000 0.000 0.000 0.000

Problem 945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

443 443 6946 4960 0 0 0 0 0

N.S.

1 1.00 15.68 11.20 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.758 26.771 4.270 0.000 0.000 0.000 0.000 0.000

Problem 946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

426 426 7670 4322 0 0 0 0 0

N.S.

1 1.00 18.00 10.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.762 30.844 3.858 0.000 0.000 0.000 0.000 0.000

Problem 947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

442 442 4506 4872 0 0 0 0 0

N.S.

1 1.00 10.19 11.02 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.894 25.964 2.741 0.000 0.000 0.000 0.000 0.000

Problem 948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

540 540 5040 5618 0 0 0 0 0

N.S.

1 1.00 9.33 10.40 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.465 28.346 3.898 0.000 0.000 0.000 0.000 0.000

Problem 949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

650 650 759 7502 0 0 0 0 0

N.S.

1 1.00 1.17 11.54 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.187 21.992 2.893 0.000 0.000 0.000 0.000 0.000

Problem 950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

610 610 5369 9227 0 0 0 0 0

N.S.

1 1.00 8.80 15.13 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.386 32.943 134.141 0.000 0.000 0.000 0.000 0.000

Problem 951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

502 502 4831 7821 0 0 0 0 0

N.S.

1 1.00 9.62 15.58 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.444 29.689 48.530 0.000 0.000 0.000 0.000 0.000

Problem 952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

521 521 1401 6504 0 0 0 0 0

N.S.

1 1.00 2.69 12.48 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.134 25.738 14.651 0.000 0.000 0.000 0.000 0.000

Problem 953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

505 505 1490 6348 0 0 0 0 0

N.S.

1 1.00 2.95 12.57 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.120 34.980 53.145 0.000 0.000 0.000 0.000 0.000

Problem 954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

507 507 4887 6319 0 0 0 0 0

N.S.

1 1.00 9.64 12.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.163 36.530 53.955 0.000 0.000 0.000 0.000 0.000

Problem 955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

549 549 5347 6949 0 0 0 0 0

N.S.

1 1.00 9.74 12.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.511 31.792 189.460 0.000 0.000 0.000 0.000 0.000

Problem 956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

652 652 5667 8028 0 0 0 0 0

N.S.

1 1.00 8.69 12.31 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.218 37.570 519.436 0.000 0.000 0.000 0.000 0.000

Problem 957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

774 774 711 9715 0 0 0 0 0

N.S.

1 1.00 0.92 12.55 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.438 28.289 1264.894 0.000 0.000 0.000 0.000 0.000

Problem 958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

429 429 3811 5454 0 0 0 0 0

N.S.

1 1.00 8.88 12.71 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.238 28.771 43.871 0.000 0.000 0.000 0.000 0.000

Problem 959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

342 342 3332 3930 0 0 0 0 0

N.S.

1 1.00 9.74 11.49 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.772 29.115 31.888 0.000 0.000 0.000 0.000 0.000

Problem 960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

267 267 470 2063 0 0 0 0 0

N.S.

1 1.00 1.76 7.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.425 25.115 26.160 0.000 0.000 0.000 0.000 0.000

Problem 961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

317 317 758 1078 0 0 0 0 0

N.S.

1 1.00 2.39 3.40 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.288 20.609 16.925 0.000 0.000 0.000 0.000 0.000

Problem 962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

358 358 853 1604 0 0 0 0 0

N.S.

1 1.00 2.38 4.48 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.501 24.233 6.487 0.000 0.000 0.000 0.000 0.000

Problem 963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

439 439 1417 3035 0 0 0 0 0

N.S.

1 1.00 3.23 6.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.890 21.875 5.308 0.000 0.000 0.000 0.000 0.000

Problem 964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

510 510 887 7393 0 0 0 0 0

N.S.

1 1.00 1.74 14.50 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.511 24.398 39.366 0.000 0.000 0.000 0.000 0.000

Problem 965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

352 352 3856 5333 0 0 0 0 0

N.S.

1 1.00 10.95 15.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.916 27.244 28.508 0.000 0.000 0.000 0.000 0.000

Problem 966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

293 293 603 4120 0 0 0 0 0

N.S.

1 1.00 2.06 14.06 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.532 25.123 21.689 0.000 0.000 0.000 0.000 0.000

Problem 967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

395 395 1140 3989 0 0 0 0 0

N.S.

1 1.00 2.89 10.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.584 28.239 15.657 0.000 0.000 0.000 0.000 0.000

Problem 968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

451 451 1798 4948 0 0 0 0 0

N.S.

1 1.00 3.99 10.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.871 30.172 6.369 0.000 0.000 0.000 0.000 0.000

Problem 969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

552 552 2489 7020 0 0 0 0 0

N.S.

1 1.00 4.51 12.72 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.436 26.535 6.120 0.000 0.000 0.000 0.000 0.000

Problem 970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

549 549 1002 12782 0 0 0 0 0

N.S.

1 1.00 1.83 23.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.093 24.075 33.515 0.000 0.000 0.000 0.000 0.000

Problem 971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

449 449 4504 10756 0 0 0 0 0

N.S.

1 1.00 10.03 23.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.154 31.648 23.711 0.000 0.000 0.000 0.000 0.000

Problem 972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

416 416 3980 8564 0 0 0 0 0

N.S.

1 1.00 9.57 20.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.896 30.656 21.391 0.000 0.000 0.000 0.000 0.000

Problem 973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

541 541 11366 10172 0 0 0 0 0

N.S.

1 1.00 21.01 18.80 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.017 29.177 17.130 0.000 0.000 0.000 0.000 0.000

Problem 974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

618 618 2607 13130 0 0 0 0 0

N.S.

1 1.00 4.22 21.25 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.662 29.880 7.597 0.000 0.000 0.000 0.000 0.000

Problem 975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

448 448 689 4746 0 0 0 0 0

N.S.

1 1.00 1.54 10.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.049 25.757 24.272 0.000 0.000 0.000 0.000 0.000

Problem 976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

382 382 1131 2381 0 0 0 0 0

N.S.

1 1.00 2.96 6.23 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.705 23.965 20.420 0.000 0.000 0.000 0.000 0.000

Problem 977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

316 316 965 1091 0 0 0 0 0

N.S.

1 1.00 3.05 3.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.456 23.896 14.479 0.000 0.000 0.000 0.000 0.000

Problem 978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 212 158 252 0 0 0 0 0

N.S.

1 1.00 0.75 1.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.190 7.183 12.453 0.000 0.000 0.000 0.000 0.000

Problem 979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

379 379 1603 3614 0 0 0 0 0

N.S.

1 1.00 4.23 9.54 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.619 15.509 17.151 0.000 0.000 0.000 0.000 0.000

Problem 980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

519 519 615 10044 0 0 0 0 0

N.S.

1 1.00 1.18 19.35 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.154 14.022 21.205 0.000 0.000 0.000 0.000 0.000

Problem 981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

266 266 1262 1020 0 312 0 0 0

N.S.

1 1.00 4.74 3.83 0.00 1.17 0.00 0.00 0.00

time (sec)

N/A 0.357 10.572 52.798 0.000 0.140 0.000 0.000 0.000

Problem 982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

230 230 545 824 0 288 0 0 0

N.S.

1 1.00 2.37 3.58 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.307 8.260 6.658 0.000 0.112 0.000 0.000 0.000

Problem 983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

192 192 1140 715 0 260 0 0 0

N.S.

1 1.00 5.94 3.72 0.00 1.35 0.00 0.00 0.00

time (sec)

N/A 0.267 8.652 4.740 0.000 0.115 0.000 0.000 0.000

Problem 984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 152 223 639 0 221 0 0 0

N.S.

1 1.00 1.47 4.20 0.00 1.45 0.00 0.00 0.00

time (sec)

N/A 0.251 3.485 4.066 0.000 0.120 0.000 0.000 0.000

Problem 985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 197 388 0 184 0 0 0

N.S.

1 1.00 1.35 2.66 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 0.249 3.487 4.100 0.000 0.106 0.000 0.000 0.000

Problem 986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 194 465 0 204 0 0 0

N.S.

1 1.00 1.24 2.98 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.256 3.169 5.009 0.000 0.127 0.000 0.000 0.000

Problem 987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 194 219 515 0 232 0 0 0

N.S.

1 1.00 1.13 2.65 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.265 3.828 7.834 0.000 0.114 0.000 0.000 0.000

Problem 988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

230 230 249 565 0 256 0 0 0

N.S.

1 1.00 1.08 2.46 0.00 1.11 0.00 0.00 0.00

time (sec)

N/A 0.304 4.876 11.483 0.000 0.130 0.000 0.000 0.000

Problem 989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 266 285 611 0 280 0 0 0

N.S.

1 1.00 1.07 2.30 0.00 1.05 0.00 0.00 0.00

time (sec)

N/A 0.326 6.419 16.642 0.000 0.142 0.000 0.000 0.000

Problem 990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

343 343 507 1169 0 400 0 0 0

N.S.

1 1.00 1.48 3.41 0.00 1.17 0.00 0.00 0.00

time (sec)

N/A 0.648 9.972 8.926 0.000 0.137 0.000 0.000 0.000

Problem 991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

289 289 333 920 0 357 0 0 0

N.S.

1 1.00 1.15 3.18 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 0.592 4.774 6.864 0.000 0.122 0.000 0.000 0.000

Problem 992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

241 241 271 973 0 319 0 0 0

N.S.

1 1.00 1.12 4.04 0.00 1.32 0.00 0.00 0.00

time (sec)

N/A 0.554 4.334 4.931 0.000 0.131 0.000 0.000 0.000

Problem 993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

224 224 227 883 0 284 0 0 0

N.S.

1 1.00 1.01 3.94 0.00 1.27 0.00 0.00 0.00

time (sec)

N/A 0.543 10.203 4.798 0.000 0.120 0.000 0.000 0.000

Problem 994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 225 234 679 0 260 0 0 0

N.S.

1 1.00 1.04 3.02 0.00 1.16 0.00 0.00 0.00

time (sec)

N/A 0.602 7.273 5.381 0.000 0.116 0.000 0.000 0.000

Problem 995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 242 385 706 0 291 0 0 0

N.S.

1 1.00 1.59 2.92 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.577 11.529 7.491 0.000 0.117 0.000 0.000 0.000

Problem 996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

290 290 286 784 0 329 0 0 0

N.S.

1 1.00 0.99 2.70 0.00 1.13 0.00 0.00 0.00

time (sec)

N/A 0.623 9.869 11.860 0.000 0.132 0.000 0.000 0.000

Problem 997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

397 397 566 1265 0 467 0 0 0

N.S.

1 1.00 1.43 3.19 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.982 11.614 9.245 0.000 0.146 0.000 0.000 0.000

Problem 998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

334 334 377 1178 0 415 0 0 0

N.S.

1 1.00 1.13 3.53 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 0.869 7.983 7.370 0.000 0.148 0.000 0.000 0.000

Problem 999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

319 319 311 1268 0 382 0 0 0

N.S.

1 1.00 0.97 3.97 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.890 12.467 5.609 0.000 0.144 0.000 0.000 0.000

Problem 1000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

313 313 295 1112 0 361 0 0 0

N.S.

1 1.00 0.94 3.55 0.00 1.15 0.00 0.00 0.00

time (sec)

N/A 0.930 6.196 6.317 0.000 0.142 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]